implication operator

join shbcf.ru